101. Mathematical foundations of programming semantics:international
پدیدآورنده : MELTON,AUSTIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PROGRAMMING LANGUAGES )ELECTRONIC , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
M38
1985
102. Modern language models and computation : theory with applications
پدیدآورنده : Meduna, Alexander, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical linguistics,، Programming languages )Electronic computers(,، Computational linguistics,، Computer systems
رده :
P
138
.
M43M6
103. On Conceptual modelling
پدیدآورنده : / Michael L. Bordie, John Mylopolous, Joachim Schmidt W.
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Digital computer simulation,Artificial interlligence,Data base management,Programming languages(Electronic computers--Business
رده :
QA
76
.
9
.
C6505
1984
104. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
پدیدآورنده : edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984
105. Ordinateurs, Programmation , et langues naturelles
پدیدآورنده : / Par Jacques Andr`e et Catherine Fuchs,Andre
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
6
.
A5
106. Ordinateurs programmation et langues nat urelles
پدیدآورنده : / Jacques Andre, Catherine Fuchs
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
642
An-O
107. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses
رده :
QA
75
.
5
.
P47
108. Pl/i for scientific programmers
پدیدآورنده : FIKE,C T
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PL/I )COMPUTERS PROGRAM LANGUAGES( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
F44
109. Practical Rails social networking sites /
پدیدآورنده : Alan Bradburne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Online social networks.,Web site development.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Informatique.,Online social networks.,Online social networks.,Ruby (Computer language),Web site development.,Web site development.,Web sites-- Design.
رده :
TK5105
.
888
.
B72
2007eb
110. Principles of functional programming
پدیدآورنده : Glaser, Hugh
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
H3337
1984
111. Principles of functional programming
پدیدآورنده : GLASER,HUGH
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC
رده :
QA
76
.
6
.
G53
112. Principles of functional programming
پدیدآورنده : Glaser, Hugh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
H3337
1984
113. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2003
114. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
پدیدآورنده : / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
115. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1993
116. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1994
117. Programmation en langages binaire et symbolique. Avec exercices
پدیدآورنده : / More Thorin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
6424
Th-M
118. Programmierung elektronischer Rechenanlagen
پدیدآورنده : Muller, Dieter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
M77
119. Programming
پدیدآورنده : Maurer
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
5
.
M325
120. Programming; an introduction to computer techniques
پدیدآورنده : Maurer, Ward Douglas
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M39
1972
